An Algebraic View on the Semantics of Model Composition

نویسندگان

Christoph Herrmann

Holger Krahn

Bernhard Rumpe

Martin Schindler

Steven Völkel

چکیده

Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a single model. Instead many models are developed that provide several complementary views on the system to be developed. This however leads to a need for compositional models. This paper describes a foundational theory of model composition in form of an algebra to explicitly clarify different variants and uses of composition, their interplay with the semantics of the involved models and their composition operators.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Functorial semantics of topological theories

Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...

متن کامل

A Global Semantics for Views

We focus on the speciication of mixed systems that contain static and dynamic aspects. Our approach aims at keeping advantage of the languages dedicated to both aspects (algebraic speciications for data types, and state transition diagrams for dynamic behaviour) while providing an underlying unifying framework accompanied by an appropriate semantic model. This underlying framework is based on o...

متن کامل

A Global Semantics for Views ( Long Version ) last revision : February

We focus on the speciication of mixed systems that contain static and dynamic aspects. In previous existing approaches, the formal links and consistency between the static and the dynamic aspects are either not deened, or encompassed within a single framework. Moreover, in mixed systems, the deenition of structuring and uniform mechanisms are also required. Our approach aims at keeping advantag...

متن کامل

Analyzing the problem of meaning in Shabastari’s Golshane Raz

Man has always been finding a complete model for semantics since the beginning. A model which can as a paradigm affects all branches of sciences. In the view of author, such a model can be found in Golshane Raz. Introducing the model from the work mentioned, the paper has tried to explain its sub structural foundations in three fields of ontology, epistemology and semantics. Some of the foundat...

متن کامل